-
1 assertion checker
1) Компьютерная техника: программа верификации2) Вычислительная техника: блок контроля утверждений, блок проверки утверждений, блок проверки утверждения, верификатор условий, ревизор утверждений (программная или аппаратная система)3) Робототехника: блок проверки утверждений (в СИИ) -
2 assertion checker
Большой англо-русский и русско-английский словарь > assertion checker
-
3 assertion checker
блок проверки утверждений, ревизор утверждений ( программная или аппаратная система)English-Russian dictionary of computer science and programming > assertion checker
-
4 assertion checker
блок проверки утверждений; ревизор утверждений -
5 assertion checker
1) блок проверки утверждения; ревизор утверждений; блок контроля утверждений -
6 spell checker
assertion checker — блок проверки утверждений; ревизор утверждений
design-rule checker — программа контроля проектных норм; программа нормоконтроля
syntax checker — блок синтаксического контроля; программа синтаксического контроля
English-Russian dictionary of Information technology > spell checker
См. также в других словарях:
Островский, Александр Николаевич — драматический писатель, начальник репертуара Императорского Московского театра и директор Московского театрального училища. А. Н. Островский родился в Москве 31 го января 1823 г. Отец его, Николай Федорович, происходил из духовного звания, и по… … Большая биографическая энциклопедия
Российская Советская Федеративная Социалистическая Республика — РСФСР. I. Общие сведения РСФСР образована 25 октября (7 ноября) 1917. Граничит на С. З. с Норвегией и Финляндией, на З. с Польшей, на Ю. В. с Китаем, МНР и КНДР, а также с союзными республиками, входящими в состав СССР: на З. с… … Большая советская энциклопедия
Устругов, Леонид Александрович — … Википедия
Российская Советская Федеративная Социалистическая Республика, РСФСР (народное образование и культурно-просветительные учреждения) — VIII. Народное образование и культурно просветительные учреждения = История народного образования на территории РСФСР уходит в глубокую древность. В Киевской Руси элементарная грамотность была распространена среди разных слоев населения, о чём… … Большая советская энциклопедия
сло́во — 1) а, мн. слова, слов, ам и (устар.) словеса, словес, ам, ср. 1. Единица речи, представляющая собой звуковое выражение понятия о предмете или явлении объективного мира. Значение слова. Порядок слов в предложении. Русские и иностранные слова. □… … Малый академический словарь
Островский — Александр Николаевич (1823 1886) крупнейший русский драматург. Р. в Москве, в семье чиновника, ставшего позднее частнопрактикующим ходатаем по гражданским делам. В 1835 1840 учился в I Московской гимназии. В 1840 был принят на юридический… … Литературная энциклопедия
Джигарханян, Армен Борисович — Армен Джигарханян Արմեն Ջիգարխանյան Имя при рождении … Википедия
Соломин, Виталий Мефодьевич — В Википедии есть статьи о других людях с такой фамилией, см. Соломин. Виталий Соломин Виталий Мефодьевич Соломин … Википедия